Lectures on the Foundations of Mathematics
نویسنده
چکیده
THE CLOSE CONNECTION BETWEEN mathematics and philosophy has long been recognized by practitioners of both disciplines. The apparent timelessness of mathematical truth, the exactness and objective nature of its concepts, its applicability to the phenomena of the empirical world— explicating such facts presents philosophy with some of its subtlest problems. Let me begin by reminding you of some celebrated past attempts made by philosophers and mathematicians to explicate the nature of mathematics.
منابع مشابه
Gödel’s unpublished papers on foundations of mathematics
Kurt Gödel: Collected Works Volume III [Gödel, 1995] contains a selection from Gödel’s Nachlass; it consists of texts of lectures, notes for lectures and manuscripts of papers that for one reason or another Gödel chose not to publish. I will discuss those papers in it that are concerned with the foundations/philosophy of mathematics in relation to his well-known published papers on this topic.
متن کاملCkn Theory of Singularities of Weak Solutions of the Navier-stokes Equations
A series of five lectures delivered at the C.I.M.E. course on “Mathematical foundations of turbulent viscous flows”, 1-6 september, 2003
متن کاملLogical Foundations of Computer Security
The first of my four lectures on the logical foundations of computer security will establish the mathematical setting in which we will work, namely computational type theory. In this setting we can pursue algorithmic ideas from their natural expression in computer science articles to their codification in executable systems and finally to their incorporation into formal arguments that a system ...
متن کامل2 0 M ay 2 00 4 Hilbert ’ s “ World Equations ” and His Vision of a Unified Science ∗
In summer 1923, a year after his lectures on the ‘New Foundation of Mathematics’ and half a year before the republication of his two notes on the ‘Foundations of Physics,’ Hilbert delivered a trilogy of lectures in Hamburg. In these lectures, Hilbert expounds in an unusually explicit manner his epistemological perspective on science as a subdiscipline of an all embracing science of mathematics....
متن کاملconnections seminar manifesto
The new Connections Seminar will initially meet on Friday afternoons. The time and place of the first meeting will be announced shortly. Most speakers will be internal, but we plan to invite selected outside speakers to the seminar at a later time. The Connections Seminar will begin with two lectures by Ovidiu Costin on Analyzable Functions. Costin is currently writing a book on this topic. The...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003